DEF=test
EXT=test
TESTDIR=.
KOMPILE_BACKEND=haskell
KOMPILE_FLAGS=--syntax-module TEST
CONSIDER_PROVER_ERRORS=2>&1

include ../include/ktest.mak
